graph "graph.dot" {

   size="6.0,7.0";

node [shape=circle,fixedsize=true,style=filled,
      color="khaki",fontcolor="black",fontsize=18];

   1  [label="1", pos="1.000000,0.451429"];
   2  [label="2", pos="0.678980,0.266760"];
   3  [label="3", pos="0.747750,0.722586"];
   4  [label="4", pos="0.543498,0.520300"];
   5  [label="5", pos="0.273279,0.380877"];
   6  [label="6", pos="0.326440,0.733240"];
   7  [label="7", pos="0.029840,0.698939"];
   8  [label="8", pos="0.000000,0.501155"];

edge [color="blue"];

   1  --   2;
   1  --   3;
   2  --   4;
   2  --   5;
   3  --   4;
   3  --   6;
   4  --   5;
   4  --   6;
   5  --   7;
   5  --   8;
   6  --   7;
   6  --   8;
   7  --   8;

}
